Search results for "A* search algorithm"

showing 10 items of 16 documents

Fast Algorithms for Pseudoarboricity

2015

The densest subgraph problem, which asks for a subgraph with the maximum edges-to-vertices ratio d∗, is solvable in polynomial time. We discuss algorithms for this problem and the computation of a graph orientation with the lowest maximum indegree, which is equal to ⌈d∗⌉. This value also equals the pseudoarboricity of the graph. We show that it can be computed in O(|E| √ log log d∗) time, and that better estimates can be given for graph classes where d∗ satisfies certain asymptotic bounds. These runtimes are achieved by accelerating a binary search with an approximation scheme, and a runtime analysis of Dinitz’s algorithm on flow networks where all arcs, except the source and sink arcs, hav…

Binary search algorithmComputation0102 computer and information sciences02 engineering and technologyOrientation (graph theory)01 natural sciencesFlow (mathematics)010201 computation theory & mathematicsLog-log plotTheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITY0202 electrical engineering electronic engineering information engineeringGraph (abstract data type)020201 artificial intelligence & image processingUnit (ring theory)AlgorithmTime complexityMathematicsofComputing_DISCRETEMATHEMATICSMathematics2016 Proceedings of the Eighteenth Workshop on Algorithm Engineering and Experiments (ALENEX)
researchProduct

A new compact formulation for the discrete p-dispersion problem

2017

Abstract This paper addresses the discrete p -dispersion problem (PDP) which is about selecting  p facilities from a given set of candidates in such a way that the minimum distance between selected facilities is maximized. We propose a new compact formulation for this problem. In addition, we discuss two simple enhancements of the new formulation: Simple bounds on the optimal distance can be exploited to reduce the size and to increase the tightness of the model at a relatively low cost of additional computation time. Moreover, the new formulation can be further strengthened by adding valid inequalities. We present a computational study carried out over a set of large-scale test instances i…

Binary search algorithmMathematical optimization021103 operations researchInformation Systems and ManagementLine searchGeneral Computer Science0211 other engineering and technologies0102 computer and information sciences02 engineering and technologyManagement Science and Operations ResearchSolver01 natural sciencesIndustrial and Manufacturing EngineeringFacility location problemSet (abstract data type)010201 computation theory & mathematicsModeling and SimulationProgramming paradigmInteger programmingAlgorithmStandard model (cryptography)MathematicsEuropean Journal of Operational Research
researchProduct

Optimal standalone data center renewable power supply using an offline optimization approach

2022

Abstract Because of the increasing energy consumption of data centers and their C O 2 emissions, the ANR DATAZERO2 project aims to design autonomous data centers running solely on local renewable energy coupled with storage devices to overcome the intermittency issue. In order to optimize the use of renewable energy and storage devices, a MILP solver is usually in charge of assigning the power to be supplied to the data center. However, in order to reduce the computation time and make the approach scalable, it would be more appropriate to use a polynomial time algorithm. This paper aims at showing and proving that it is possible to provide an optimal power profile via a deterministic algori…

Binary search algorithmMathematical optimizationGeneral Computer Sciencebusiness.industryDeterministic algorithmComputer scienceEnergy consumptionSolverRenewable energyScalabilityData centerElectrical and Electronic EngineeringbusinessTime complexitySustainable Computing: Informatics and Systems
researchProduct

Span Programs and Quantum Algorithms for st-Connectivity and Claw Detection

2012

We introduce a span program that decides st-connectivity, and generalize the span program to develop quantum algorithms for several graph problems. First, we give an algorithm for st-connectivity that uses O(n d^{1/2}) quantum queries to the n x n adjacency matrix to decide if vertices s and t are connected, under the promise that they either are connected by a path of length at most d, or are disconnected. We also show that if T is a path, a star with two subdivided legs, or a subdivision of a claw, its presence as a subgraph in the input graph G can be detected with O(n) quantum queries to the adjacency matrix. Under the promise that G either contains T as a subgraph or does not contain T…

Clawst-connectivitybusiness.industryA* search algorithm0102 computer and information sciences01 natural sciencesLogarithmic spacelaw.inventionCombinatorics010201 computation theory & mathematicslaw0103 physical sciencesQuantum algorithmAdjacency matrix010306 general physicsbusinessQuantumMathematicsSubdivision
researchProduct

A Star-Variety With Almost Polynomial Growth

2000

Abstract Let F be a field of characteristic zero. In this paper we construct a finite dimensional F -algebra with involution M and we study its ∗ -polynomial identities; on one hand we determine a generator of the corresponding T -ideal of the free algebra with involution and on the other we give a complete description of the multilinear ∗ -identities through the representation theory of the hyperoctahedral group. As an outcome of this study we show that the ∗ -variety generated by M , var( M , ∗ ) has almost polynomial growth, i.e., the sequence of ∗ -codimensions of M cannot be bounded by any polynomial function but any proper ∗ -subvariety of var( M , ∗ ) has polynomial growth. If G 2 is…

CombinatoricsInvolution (mathematics)Multilinear mapAlgebra and Number TheorylawAlternating polynomialFree algebraBounded functionA* search algorithmHyperoctahedral groupRepresentation theorylaw.inventionMathematicsJournal of Algebra
researchProduct

Grover’s Algorithm with Errors

2013

Grover’s algorithm is a quantum search algorithm solving the unstructured search problem of size n in \(O(\sqrt{n})\) queries, while any classical algorithm needs O(n) queries [3].

Discrete mathematicsDensity matrixComputer Science::Information RetrievalProbability of errorGrover's algorithmMatrix normSearch problemQuantum algorithmQuantum search algorithmComputer Science::DatabasesMathematics
researchProduct

A note on the packing of two copies of some trees into their third power

2003

Abstract It is proved in [1] that if a tree T of order n is not a star, then there exists an edge-disjoint placement of two copies of this tree into its fourth power. In this paper, we prove the packing of some trees into their third power.

Discrete mathematicsPermutationFourth powerApplied MathematicsA* search algorithmlaw.inventionPackingCombinatoricslawOrder (group theory)Tree (set theory)Power treeEmbeddingPlacementMathematicsApplied Mathematics Letters
researchProduct

A star product on the spherical harmonics

1996

We explicitly define a star product on the spherical harmonics using the Moyal star product on ℝ6, and a polarization equation allowing its restriction on S2.

Mathematical analysisZonal spherical harmonicsA* search algorithmSpherical harmonicsStatistical and Nonlinear PhysicsAstrophysics::Cosmology and Extragalactic AstrophysicsPolarization (waves)law.inventionStar productlawSpin-weighted spherical harmonicsAstrophysics::Solar and Stellar AstrophysicsVector spherical harmonicsAstrophysics::Earth and Planetary AstrophysicsAstrophysics::Galaxy AstrophysicsMathematical PhysicsMathematicsSolid harmonicsLetters in Mathematical Physics
researchProduct

Robust estimation of partial directed coherence by the vector optimal parameter search algorithm

2009

We propose a method for the accurate estimation of Partial Directed Coherence (PDC) from multichannel time series. The method is based on multivariate vector autoregressive (MVAR) model identification performed through the recently proposed Vector Optimal Parameter Search (VOPS) algorithm. Using Monte Carlo simulations generated by different MVAR models, the proposed VOPS algorithm is compared with the traditional Vector Least Squares (VLS) identification method. We show that the VOPS provides more accurate PDC estimates than the VLS (either overall and single-arc errors) in presence of interactions with long delays and missing terms, and for noisy multichannel time series. ©2009 IEEE.

Mathematical optimizationMultivariate statisticsNeuroscience (all)Parameter search algorithmComputer scienceEstimation theoryMonte Carlo methodSystem identificationPartial directed coherenceBiomedical EngineeringAC powerAutoregressive modelSearch algorithmVector autoregressive modelSettore ING-INF/06 - Bioingegneria Elettronica E InformaticaCoherence (signal processing)Brain connectivityNeurology (clinical)Algorithm
researchProduct

The Corona of the Sun as a Star

2006

We study the physics of the solar corona as a whole, i.e. of the Sun as a Star, in order to understand its global features and to provide a template for stellar coronae. In this process we strive to understand the features of various structures which compose the solar corona. This process in not straightforward given the problems of observing the Sun as a whole: e.g., no recent X‐ray wide‐band, medium‐resolution, spectrum of the Sun is avaible, unlike stars and no X‐ray spectral monitoring of the Sun at various activity phases is available. The presentation will discuss our work in this field; we present the method we have devised, based on Yohkoh/SXT data, to derive the Differential Emissi…

PhysicsField (physics)Astrophysics::High Energy Astrophysical PhenomenaStellar atmosphereAstronomyA* search algorithmAstrophysicsCoronal radiative lossesCoronaCorona X-ray and gamma-ray emission X-raylaw.inventionStarsSettore FIS/05 - Astronomia E AstrofisicalawPhysics::Space PhysicsCoronal heatingAstrophysics::Solar and Stellar AstrophysicsAstrophysics::Earth and Planetary AstrophysicsX ray spectra
researchProduct